Search results for "Heisenberg group"
showing 10 items of 26 documents
Extensions and corona decompositions of low-dimensional intrinsic Lipschitz graphs in Heisenberg groups
2020
This note concerns low-dimensional intrinsic Lipschitz graphs, in the sense of Franchi, Serapioni, and Serra Cassano, in the Heisenberg group $\mathbb{H}^n$, $n\in \mathbb{N}$. For $1\leq k\leq n$, we show that every intrinsic $L$-Lipschitz graph over a subset of a $k$-dimensional horizontal subgroup $\mathbb{V}$ of $\mathbb{H}^n$ can be extended to an intrinsic $L'$-Lipschitz graph over the entire subgroup $\mathbb{V}$, where $L'$ depends only on $L$, $k$, and $n$. We further prove that $1$-dimensional intrinsic $1$-Lipschitz graphs in $\mathbb{H}^n$, $n\in \mathbb{N}$, admit corona decompositions by intrinsic Lipschitz graphs with smaller Lipschitz constants. This complements results that…
Vertical versus horizontal Sobolev spaces
2020
Let $\alpha \geq 0$, $1 < p < \infty$, and let $\mathbb{H}^{n}$ be the Heisenberg group. Folland in 1975 showed that if $f \colon \mathbb{H}^{n} \to \mathbb{R}$ is a function in the horizontal Sobolev space $S^{p}_{2\alpha}(\mathbb{H}^{n})$, then $\varphi f$ belongs to the Euclidean Sobolev space $S^{p}_{\alpha}(\mathbb{R}^{2n + 1})$ for any test function $\varphi$. In short, $S^{p}_{2\alpha}(\mathbb{H}^{n}) \subset S^{p}_{\alpha,\mathrm{loc}}(\mathbb{R}^{2n + 1})$. We show that the localisation can be omitted if one only cares for Sobolev regularity in the vertical direction: the horizontal Sobolev space $S_{2\alpha}^{p}(\mathbb{H}^{n})$ is continuously contained in the vertical Sobolev sp…
Ahlfors-regular distances on the Heisenberg group without biLipschitz pieces
2015
We show that the Heisenberg group is not minimal in looking down. This answers Problem 11.15 in `Fractured fractals and broken dreams' by David and Semmes, or equivalently, Question 22 and hence also Question 24 in `Thirty-three yes or no questions about mappings, measures, and metrics' by Heinonen and Semmes. The non-minimality of the Heisenberg group is shown by giving an example of an Ahlfors $4$-regular metric space $X$ having big pieces of itself such that no Lipschitz map from a subset of $X$ to the Heisenberg group has image with positive measure, and by providing a Lipschitz map from the Heisenberg group to the space $X$ having as image the whole $X$. As part of proving the above re…
Products of snowflaked Euclidean lines are not minimal for looking down
2017
We show that products of snowflaked Euclidean lines are not minimal for looking down. This question was raised in Fractured fractals and broken dreams, Problem 11.17, by David and Semmes. The proof uses arguments developed by Le Donne, Li and Rajala to prove that the Heisenberg group is not minimal for looking down. By a method of shortcuts, we define a new distance $d$ such that the product of snowflaked Euclidean lines looks down on $(\mathbb R^N,d)$, but not vice versa.
On the representation theory of quantum Heisenberg group and algebra
1994
We show that the quantum Heisenberg groupH q (1) and its *-Hopf algebra structure can be obtained by means of contraction from quantumSU q (2) group. Its dual Hopf algebra is the quantum Heisenberg algebraU q (h(1)). We derive left and right regular representations forU q (h(1)) as acting on its dualH q (1). Imposing conditions on the right representation, the left representation is reduced to an irreducible holomorphic representation with an associated quantum coherent state. Realized in the Bargmann-Hilbert space of analytic functions the unitarity of regular representation is also shown. By duality, left and right regular representations for quantum Heisenberg group with the quantum Heis…
Symmetric Surfaces with Many Singularities
2004
Abstract Let G ⊂ SO(4) denote a finite subgroup containing the Heisenberg group. In this paper we classify all such groups, we find the dimension of the spaces of G-invariant polynomials and we give equations for the generators whenever the space has dimension two. Then we complete the study of the corresponding G-invariant pencils of surfaces in ℙ3 which we started in Sarti [Sarti, A. (2000). Pencils of symmetric surfaces in ℙ3(C). J. Algebra 246:429–452]. It turns out that we have five more pencils, two of them containing surfaces with nodes.
Singular integrals on regular curves in the Heisenberg group
2019
Let $\mathbb{H}$ be the first Heisenberg group, and let $k \in C^{\infty}(\mathbb{H} \, \setminus \, \{0\})$ be a kernel which is either odd or horizontally odd, and satisfies $$|\nabla_{\mathbb{H}}^{n}k(p)| \leq C_{n}\|p\|^{-1 - n}, \qquad p \in \mathbb{H} \, \setminus \, \{0\}, \, n \geq 0.$$ The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel $k(p) = \nabla_{\mathbb{H}} \log \|p\|$. We prove that convolution with $k$, as above, yields an $L^{2}$-bounded operator on regular curves in $\mathbb{H}$. This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all …
Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group
2018
A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$. Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$'s. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of redu…
Area-minimizing cones in the Heisenberg group H
2021
We present a characterization of minimal cones of class \(C^2\) and \(C^1\) in the first Heisenberg group \(\mathbf{H}\), with an additional set of examples of minimal cones that are not of class \(C^1\).
Hardy spaces and quasiconformal maps in the Heisenberg group
2023
We define Hardy spaces $H^p$, $00$ such that every $K$-quasiconformal map $f:B \to f(B) \subset \mathbb{H}^1$ belongs to $H^p$ for all $0<p<p_0(K)$. Second, we give two equivalent conditions for the $H^p$ membership of a quasiconformal map $f$, one in terms of the radial limits of $f$, and one using a nontangential maximal function of $f$. As an application, we characterize Carleson measures on $B$ via integral inequalities for quasiconformal mappings on $B$ and their radial limits. Our paper thus extends results by Astala and Koskela, Jerison and Weitsman, Nolder, and Zinsmeister, from $\mathbb{R}^n$ to $\mathbb{H}^1$. A crucial difference between the proofs in $\mathbb{R}^n$ and $\mathbb{…